Integrating Object-Oriented Analysis and Formal Specification
نویسندگان
چکیده
منابع مشابه
Integrating Object-Oriented Analysis and Formal Specification
One of the principal inhibitors to the widespread acceptance of formal specification methods is the difficulty of integrating formal specification with the development process. Integrated methods seek to mitigate this difficulty by integrating formal specification with widely used structured requirements analysis methods. Several structured and formal methods are object-oriented. This paper des...
متن کاملFormal Specification of Object-Oriented Meta-modelling
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e....
متن کاملFormal Specification of Object-Oriented Design
Software architectures and designs "notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A formal language has syntax, semantics, and inference rules, so that reasoning and automatic manipulation are made possible. We describe LePUS, a formal language for describing and reasoning about object ...
متن کاملAn Object-oriented Approach to Formal Specification
Formal methods for software development are becoming increasingly necessary as softwarebecomes an important part of everyday life. To handle the complexities inherent in large-scale software systems these methods need to be combined with a sound developmentmethodology which supports modularity and reusability. Object orientation, based on theconcept that systems are composed of ...
متن کاملIntegrating Object-Oriented Modeling Techniques with Formal Specification Techniques German-Argentlnean Scientific-technological Cooperation
The increasing complexity of software systems makes their development complicated and error prone. A widcly used and generally accepted technique in software engineering is the combination of different models (or views) for the description of software systems. The primary benefit of this approach is to model only related aspects (Iike structure or behavior). Using different models cIarifies dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Computer Society
سال: 1998
ISSN: 0104-6500
DOI: 10.1590/s0104-65001998000200004